package interfaces;

import tdg.contract.semanticAnnotations.ImportClass;
import tdg.contract.semanticAnnotations.Init;
import tdg.contract.semanticAnnotations.Model;
import tdg.contract.semanticAnnotations.Pre;
import tdg.contract.semanticAnnotations.Pos;
import tdg.contract.semanticAnnotations.Inv;
import tdg.contract.semanticAnnotations.Query;

@Model
public interface IClienteModel {
	
	@Pre ({"dni!=null #NullPointerException"})
	public boolean dniCorrecto(String dni);
	
	@Pre({"telefono!=null #NullPointerException"})
	public boolean telefonoCorrecto(String telefono);
}
